Each of the files in this folder can be loaded into Shen with THORN installed.
A file may contains multiple problems; note that all proofs are sent to prf.txt
and later proofs overwrite earlier ones.   So if you want to see all the proofs
for problems in a file, you need to paste the problems in singly.

